Message–passing Implementation for Process Functional Language1
نویسنده
چکیده
In this paper we introduce the concept an implementation of distributed programming in PFL – a process functional programming language and describe implementation of concurrency in other Haskell–like parallel functional languages – Concurrent Haskell and GpH. The process of writing parallel program is complicated by the need to specify both the parallel behaviour of the program and the algorithm that is to be used to compute its result. Main ideas about implementation of parallel execution in PFL are make PFL able to handle huge set of problems that are effective running only in distributed environments.
منابع مشابه
Formal Derivation of Divide - and - Conquer 32
An SPMD parallel implementation schema for divide-and-conquer speciications is proposed and derived by formal reenement (transformation) of the speciication. The speciication is in the form of a mutually recursive functional deenition. In a rst phase, a parallel functional program schema is constructed which consists of a communication tree and a functional program that is shared by all nodes o...
متن کاملEmbodying Parallel Functional Skeletons: An Experimental Implementation on Top of MPI
This paper aims at presenting an experimental but practical implementation of a skeleton-based parallel programming methodology based upon the integration of the MPI message-passing interface and a state-of-the-art ML compiler. The combination of a small number of higher-level communication abstractions and a SPMD style of programming has proven to provide a safe and fast way of designing paral...
متن کاملFormal Derivation and Implementation of Divide-and-Conquer on a Transputer Network
This paper considers parallel program development based on functional mutually recursive speciications. The development yields a communication structure linking an arbitrary xed number of processors and an SPMD program executable on the structure. There are two steps in the development process: rst, a parallel functional implementation is obtained through formal transformations in the Bird-Meer...
متن کاملFast Message Passing via the ALLCACHE Memory on KSR Computers
A large body of applications have been built which use a message-passing style of inter-process communication. Thus, it is important to be able to support eecient message-passing even on shared-memory computers. Unfortunately, `direct' porting of message-passing packages to shared-memory computers invariably produces unacceptably poor performance. In this paper, we discuss schemes for eeciently...
متن کاملeJason: An Implementation of Jason in Erlang
In this paper we describe eJason, a prototype implementation of Jason, the well-known agent-oriented programming language, in Erlang, a concurrent functional programming language. The reason for choosing Erlang as the implementation vehicle is the surprising number of similarities between Jason and Erlang, e.g., both have their syntactical roots in logic programming, and share an actor-based pr...
متن کامل